1. Developing safety systems: A guide using Ada
Author: Ian C. Pyle
Library: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
Subject: Ada )computer program language(,Computer software- Reliability,System safety,Computer software- Development
Classification :
005
.
133
P996D


2. Developing safety systems a guide using Ada
Author: Pyle, Ian C., 4391-
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Ada )Computer program language(,، Computer software -- Reliability,، System safety,، Computer software -- Development
Classification :
QA
76
.
73
.
A35
P95


3. High integrity software: the Spark approach to safety and security
Author: Barnes, J. G. P. )John Gilbert Presslie(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Reliability,، Computer software-- Development,، Ada )Computer program language(
Classification :
QA
76
.
76
.
R44
.
B37
2003

